GDK W32: Correctly report window position in HiDPI mode
authorРуслан Ижбулатов <lrn1986@gmail.com>
Fri, 29 Sep 2017 12:50:03 +0000 (12:50 +0000)
committerРуслан Ижбулатов <lrn1986@gmail.com>
Sat, 2 Dec 2017 10:38:28 +0000 (10:38 +0000)
commit50bbac60054b1558dcd459bdd8a5a93bda078b38
treefb0f663531118419c500107b6e2a5363fe8dd044
parenteb6d5b6b276ea37fadd9ccd88faef173e72dd2f4
GDK W32: Correctly report window position in HiDPI mode

Window position returned by get_frame_extents() should be scaled.

Also take this opportunity to apply the same rounding that X11 backend
applies.

https://bugzilla.gnome.org/show_bug.cgi?id=788053
gdk/win32/gdkwindow-win32.c